$\forall$${\it es}$:event\_system\{i:l\}, $e$,${\it e'}$:es{-}E(${\it es}$). ($\uparrow$es{-}ble\{i:l\}(${\it es}$;$e$;${\it e'}$)) $\Leftarrow\!\Rightarrow$ es{-}le(${\it es}$; $e$; ${\it e'}$)